proff of Invariance Theorem